$\forall$$T$:Type. subtype\_rel($T$; $\mathbb{Z}$) $\Rightarrow$ ($\forall$${\it bs}$,${\it as}$:($T$ List). sorted(${\it as}$) $\Rightarrow$ sorted(merge(${\it as}$; ${\it bs}$)))